PDF Document

Source URL: ect.bell-labs.com

AT&T Bell Laboratories Murray Hill, New JerseyComputing Science Technical Report NoPIC — A Graphics Language for Typesetting

Source URL: www.cs.bell-labs.com

Stream Firewalling of XML Constraints Michael Benedikt Alan Jeffrey Ruy Ley-Wild∗

Source URL: ect.bell-labs.com

A distributed object calculus Alan Jeffrey DePaul University December 1999 To appear in Proc. FOOL 2000

Source URL: ect.bell-labs.com

A Fully Abstract May Testing Semantics for Concurrent Objects Alan Jeffrey∗ School of CTI DePaul University Chicago, IL, USA

Source URL: ect.bell-labs.com

Towards a theory of accountability and audit? Radha Jagadeesan1 , Alan Jeffrey2 , Corin Pitcher1 , and James Riely1,?? 1 School of Computing, DePaul University 2 Bell Labs, Alcatel–Lucent

Source URL: ect.bell-labs.com

Java Jr.: Fully abstract trace semantics for a core Java language. Alan Jeffrey?1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA

Source URL: ect.bell-labs.com

Efficient SIP-Specific Event Notification Bo Zhao Network Solution Group Bell Labs Beijing, China

Source URL: www.cse.psu.edu

• Technology
• Session Initiation Protocol
• SIMPLE
• Presence information
• Instant messaging
• Notification system
• XML Configuration Access Protocol
• Videotelephony
• Computer-mediated communication
• Computing

Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies

Source URL: www.cis.upenn.edu

• Mathematics
• Combinatory logic
• Fixed-point combinator
• Recursion
• Camera lens
• Theoretical computer science
• Lambda calculus
• Applied mathematics

Robin Milner – Verification, Languages, and Concurrency Andrew D. Gordon, Microsoft Research Robert Harper, Carnegie Mellon University John Harrison, Intel Corporation Alan Jeffrey, Bell Labs

Source URL: www.cl.cam.ac.uk